home *** CD-ROM | disk | FTP | other *** search
/ PC World Komputer 2010 April / PCWorld0410.iso / hity wydania / Ubuntu 9.10 PL / karmelkowy-koliberek-desktop-9.10-i386-PL.iso / casper / filesystem.squashfs / usr / share / app-install / desktop / coqide.desktop < prev    next >
INI File  |  2009-10-12  |  321b  |  14 lines
  1. [Desktop Entry]
  2. X-AppInstall-Package=coqide
  3. X-AppInstall-Popcon=30
  4. X-AppInstall-Section=universe
  5.  
  6. Name=CoqIDE Proof Assistant
  7. Comment=Graphical interface for the Coq proof assistant
  8. Exec=coqide
  9. Type=Application
  10. Categories=Development;Science;Math;IDE;GTK;
  11. Terminal=false
  12. Icon=coq
  13. X-Ubuntu-Gettext-Domain=app-install-data
  14.